Publications de
Michel Cayrol, Pierre Régnier, Vincent Vidal
Least commitment in Graphplan
Dans : Artificial Intelligence, Elsevier Science B. V., Sara Burgerhartstraat 25 1055 KV Amsterdam The Netherlands, Vol. 130 N. 1, p. 85-118, juillet 2001.
Claudette Cayrol, Michel Cayrol, Olivier Palmade
P-arbres de déduction : Application aux ATMS
Dans : Revue d’Intelligence Artificielle, Vol. 9, N. 1, p. 35-52, 1995.
ARC: un ATMS basé sur la résolution CAT-correcte
Dans : Revue d’Intelligence Artificiell, Hermès, Paris, Vol. 3, N. 3, p. 19-39, 1989.
PSIL: manipulation d’objets infinis pour l’intelligence artificielle
Dans : T.S.I., Vol. 4, N. 4, p. 373-381, 1985.
Michel Cayrol, Henri Farreny, Henri Prade
Fuzzy pattern matching
Dans : Kybernetes, Vol. 11, p. 103-116, 1982.
Michel Cayrol, Jean-Louis Durieux, Henri Farreny
A mechanism of functional association between variable values: the roi de rats
Dans : Kybernetes, Vol. 10, p. 105-111, 1981.
Michel Cayrol, Bernard Fade, Henri Farreny
A Study of Simulated Control of a Robot: Adaptability, Generation and Execution of Plans
Dans : SIGART Newsletter, Vol. . N. 69, p. 11-12, 1980.
Michel Cayrol, Bernard Fade, Henri Farreny
La notion de liaison en Intelligence Artificielle
Dans : Revue RAIRO informatique, Vol. 13, N. 4, p. 367-374, 1979.
Michel Cayrol, Bernard Fade, Henri Farreny
A study of simulated control of strategies of a robot
Dans : SIGART Newsletter, Vol. . N. 59, p. 3-4, 1976.
Michel Cayrol, Bernard Fade, Henri Farreny
Etude en simulation des stratégies de contrôle d’un robot: le projet ARGOS
Dans : Automatisme, Vol. XXI, N. 5, p. 162-172, 1976.
Michel Cayrol, Vincent Vidal, Pierre Régnier
New Results about LCGP, a Least Commited GraphPlan
Dans : AIPS 2000, Breckenridge, Colorado, 14/04/00-17/04/00, AAAI Press (Menlo Park. California. USA), AAAI Press45 Burgess DriveMenlo Park, California 94025USA, p. 273-282, avril 2000.
Michel Cayrol, Pierre Régnier, Vincent Vidal
LCGP : une amélioration de Graphplan par relâchement de contraintes entre actions simultanées
Dans : RFIA’2000, Paris, 01/02/00-03/02/00, AFIA, février 2000.
Thierry Castell, Claudette Cayrol, Michel Cayrol, Daniel Le Berre
Modèles P-restreints : Applications à l’Inference Propositionnelle.
Dans : Congrès Reconnaissance des Formes et Intelligence Artificielle RFIA’98, Clermont-Ferrand, 20/01/98-22/01/98, AFCET, Paris, p. 205-214, janvier 1998.
Thierry Castell, Michel Cayrol
Hidden Gold in Random Generation of Satisfiable Instances
Dans : Int. Joint Conf. on Artificial Intelligence (IJCAI’97), Nagoya, Japon, 23/08/97-29/08/97, Morgan Kaufmann Publishers, p. 372-377, août 1997.
Thierry Castell, Michel Cayrol
Arguments for the easy generation of random, hard and satisfiable instances of SAT
Dans : ECAI’96 Workshop on Advances in propositional deduction, –, .
Thierry Castell, Michel Cayrol
Une nouvelle méthode de calcul des impliquants et des impliqués premiers
Dans : Actes de la deuxième confèrence CNPC’96 (Résolution pratique de problèmes NP-Complets), Dijon, TEKNEA, Marseille, p. 153-167, mars 1996.
Thierry Castell, Claudette Cayrol, Michel Cayrol, Daniel Le Berre
Using the Davis and Putnam procedure for an efficient computation of preferred models
Dans : Proc. 12th European Conference on Artificial Intelligence ECAI’96, Budapest Hungary, 11/08/96-16/08/96, John Wiley & Sons, New York, p. 350-354, août 1996.
Claudette Cayrol, Michel Cayrol, Olivier Palmade
P-arbres de déduction (regular paper)
Dans : Congrès Francophone de Reconnaissance des Formes et Intelligence Artificielle (RFIA 1994), Paris, 11/01/94-14/01/94, Vol. 2, AFCET : Association française pour la cybernétique économique et technique, p. 467-475, janvier 1994.
Claudette Cayrol, Michel Cayrol, Olivier Palmade
New Techniques for Inference in Assumption-Based Truth Maintenance Systems (regular paper)
Dans : International Conference on Tools with Artificial Intelligence (ICTAI 1993), Boston, 08/11/93-11/11/93, IEEE Computer Society, p. 404-407, 1993.
Michel Cayrol, Olivier Palmade
Inférence dans les ATMS: un modèle unificateur
Dans : Actes des Journées Pôle A/Pôle E du PRC-GDR “Intelligence Artificielle”, Plestin-les-Grèves (Côtes d’Armor), 25/09/91-27/09/91.
Les résolutions CAT-correcte et CCT-correcte, la résolution CAT-correcte dans l’A.T.M.S.
Dans : Colloque Inter. sur l’Informatique Cognitive des Organisations (ICO’89), Quebec, Canada, 13/06/89-15/06/89.
Exploitation de la méthode du consensus dans les A.T.M.S.: La résolution CAM-correcte
Dans : Actes 8èmes Journées Inter. sur les Systèmes Experts et leurs Applications, Avignon, 30/05/88-03/06/88.
PSIL l’infini en programmation
Dans : Actes 6ème Cong. Reconnaissance des Formes et Intelligence Artificielle, Antibes, 16/11/87-20/11/87.
B. Baret, Michel Cayrol, Jacques Laforgue, D. Mars
Utilisation ‘intelligente’ de l’expertise en C.A.O.: deuxième génération de S.I.C.E.N. pour le traitement de la structure métallique d’un navire
Dans : Cong. O.R.I.A. 87 ‘Artificial Intelligence and Sea’, Marseille, 18/06/87-19/06/87.
Countable infinite easy handling
Dans : 1st Inter. Conf. on Industrial and Applied Mathematics ICIAM 87, Paris, 29/06/87-03/07/87.
Ensembles infinis en programmation
Dans : Journées infinitistes, Univ. C. Bernard, Lyon, .
Michel Cayrol, Bernard Fade, Henri Farreny
Un système de résolution de problèmes orienté vers la génération de plans
Dans : Journées ARA, Poitier, .
Michel Cayrol, Bernard Fade, Henri Farreny
Un système de résolution de problèmes pour la génération de plans
Dans : Joint U.S.A.-FRANCE NSF-CNRS workshop on advanced automation and robotic, ., .
The interactive assignment
Dans : Second world conference on mathematics at the service of man, Las Palmas, Canaries, .
SCHUM: un langage pour l’intelligence artificielle
Dans : Colloque Intelligence Artificielle de Toulouse, Toulouse, .
Michel Cayrol, Henri Farreny, Henri Prade
An advanced pattern-matching method taking into account the uncertainty in meaning
Dans : Inter. Conf. on Artificial Intelligence and Information – Control Systems of Robots, Bratislava, Tchécoslovaquie, 30/06/80-04/07/80.
Michel Cayrol, Henri Farreny, Henri Prade
Fuzzy reasoning based on multivalent logics in the framework of production-rules systems
Dans : Proc. 10th IEEE Inter. Symp. Multiple-Valued Logic, Evanston, IL, 03/06/80-05/06/80, ., p. 143-148, juin 1980.
Michel Cayrol, Henri Farreny, Henri Prade
Possibility and necessity in a pattern-matching process
Dans : Proc. IXth Inter. Cong. on Cybernetics, Namur, Belgium, 08/09/80-13/09/80.
Michel Cayrol, Henri Farreny, Henri Prade
Accès linguistique associatif à une base de données
Dans : Proc. 2nd Inter. Conf. on Data Bases in the Humanities and Social Sciences, Madrid, 16/06/80-19/06/80.
Michel Cayrol, Bernard Fade, Henri Farreny
ARGOS II: un système de production pour écrire des résolveurs experts
Dans : Congrès AFCET Informatique, Nancy, ., p. 351-361, novembre 1980.
Michel Cayrol, Bernard Fade, Henri Farreny
Objets formels et liaisons d’attributs dans ARGOS-II
Dans : Actes 2ème Congrès AFCET de Reconnaissance des Formes et Intelligence Artificielle, Toulouse, ., p. 256-263, septembre 1979.
Michel Cayrol, Bernard Fade, Henri Farreny
Formal objects and features associations in ARGOS II
Dans : Proc. 6th Inter. Joint Conf. Artificial Intelligence (IJCAI’79), Tokyo, ., p. 131-133, août 1979.
Conception, formalisation et expérimentation d’un modèle pour le traitement d’objets finis ou infinis dénombrables
Habilitation à diriger des recherches, Université Paul Sabatier, février 1985.
Conception de la simulation d’un robot prototype minimal
Thèse de doctorat, Université Paul Sabatier, avril 1978.
Intelligence artificielle et robotique: le langage LISP, Cépaduès Editions, décembre 1983.